Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
211	Reliability of Technical Systems Advanced Methods for Systems Modelling and Simulation I : Petri Nets Petri Nets - Overview  Introduction Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-11-25 08:50:54 Formal methods Petri nets Computer science Software engineering Algebraic Petri nets Event-driven Petri net Models of computation Concurrency Diagrams
212	SNZI: Scalable NonZero Indicators Faith Ellen Dept. of Computer Science University of Toronto Add to Reading List Source URL: courses.csail.mit.edu Language: English Linearizability Binary tree Reference counting R-tree Compare-and-swap Computer architecture Concurrency control Computing Data management
213	Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services Matt Welsh and David Culler UC Berkeley Computer Science Division [removed] Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2003-03-27 14:18:59 Software architecture Staged event-driven architecture Threads Concurrency control Scheduling algorithms Scheduling Asynchronous I/O Parallel computing Lock Computing Concurrent computing Software engineering
214	Transactional Memory Retry Mechanisms∗ Michael F. Spear, Andrew Sveikauskas, and Michael L. Scott Technical Report #935 Department of Computer Science, University of Rochester {spear, asveikau, scott}@cs.rochester.edu Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2008-08-09 00:20:11 Computing Data Software transactional memory Linearizability Transactional memory Bloom filter Control flow Lock Concurrency control Transaction processing Data management
215	Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artiﬁcial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA[removed]USA {amy Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2005-09-08 19:21:40 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Java performance Concurrency control Computing Computer programming
216	Preemption Adaptivity in Time-Published Queue-Based Spin Locks∗ Bijun He, William N. Scherer III, and Michael L. Scott Technical Report #867 Department of Computer Science University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-05-17 12:41:36 Software engineering Lock Spinlock Scheduling Critical section Monitor Linearizability Parallel computing Concurrency control Computing Computer programming
217	Generic Multiversion STM Li Lu and Michael L. Scott Computer Science Department, University of Rochester Rochester, NY[removed]USA {llu,scott}@cs.rochester.edu Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2013-09-10 23:49:05 Data management Software engineering Programming language implementation Software transactional memory Tree traversal Garbage collection A* search algorithm Trie Computing Transaction processing Concurrency control
218	Design Rationale for Psyche, a General·Purpose Multiprocessor Operating System Michael L. Scott, Thomas J. LeBlanc, and Brian D. Marsh University of Rochester Department DC Computer Science Rochester, NY 14627 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:10:57 Concurrent computing Process Scheduling Concurrency control Thread Kernel Mach Ring Process management Computer architecture Computing System software
219	DISC[removed]Conflict Detection and Validation Strategies for Software Transactional Memory? Michael F. Spear, Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Department of Computer Science Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 10:36:28 Information Concurrency control Software transactional memory Isolation Schedule Linearizability Extensible Storage Engine CPU cache Nested transaction Transaction processing Data management Data
220	Non-Blocking Timeout in Scalable Queue-Based Spin Locks Michael L. Scott Technical Report #773 Department of Computer Science University of Rochester Rochester, NY[removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2002-02-09 18:43:29 Software engineering Mutual exclusion Spinlock Linked list Compare-and-swap Lock ABA problem Pointer Node Concurrency control Computing Computer programming

UPDATE